The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions. ... Found on http://en.wikipedia.org/wiki/Abstract_machine_notation
The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions. ...